failure 269:
Requirement failed: {localtime_r.01} The function shall convert the time in seconds into a local time
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/time_conversion_scenario.utz (time_conversion_scenario.utt), line 4657 |
| occurence |
| scenario |
time_conversion_scenario |
| specification function |
localtime_r_spec() |
| parameter value |
CallContext context = [pid=7529,thr=b74646c0] |
| parameter value |
TimeTObj * @timer = 200000 |
| parameter value |
TimeTObj * timer = 200000 |
| parameter value |
TmTObj * @result = struct TmTObj { sec=0, min=0, hour=0, mday=0, mon=0, year=0, wday=0, yday=0, isdst=0 } |
| parameter value |
TmTObj * result = struct TmTObj { sec=20, min=33, hour=10, mday=3, mon=0, year=70, wday=6, yday=2, isdst=0 } |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(TmTObj *) struct TmTObj { sec=20, min=33, hour=10, mday=3, mon=0, year=70, wday=6, yday=2, isdst=0 } |
coverage
& branch |
C_Priority
Process with high priority |
| properties |
| REQ failed |
localtime_r.01 |
| kind |
POSTCONDITION_FAILED |
|